Issue1436-2.agda:22,12-33
Don't know how to parse ● ↑ ● ↓ ● ↑ ● ↓ ● ↑ ●. Could mean any one
of:
  ((● ↑ ●) ↓ (● ↑ ●)) ↓ (● ↑ ●)
  (● ↑ ●) ↓ ((● ↑ ●) ↓ (● ↑ ●))
  ((● ↑ ●) ↓ (● ↑ ●)) ↓ (● ↑ ●)
Operators used in the grammar:
  ↑ (infixl operator, level 19)      [_↑_ (Issue1436-2.agda:10,9-12)]
  ↓ (infix operator, level -1000000) [_↓_ (Issue1436-2.agda:17,5-8)] 
  ↓ (infixl operator, level 1)       [_↓_ (Issue1436-2.agda:10,5-8)] 
when scope checking ● ↑ ● ↓ ● ↑ ● ↓ ● ↑ ●
